A Taste of Linear Logic
نویسنده
چکیده
This tutorial paper provides an introduction to intuitionistic logic and linear logic, and shows how they correspond to type systems for functional languages via the notion of ‘Propositions as Types’. The presentation of linear logic is simplified by basing it on the Logic of Unity. An application to the array update problem is briefly discussed.
منابع مشابه
Linear Formulas in Continuous Logic
We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linea...
متن کاملUtilization of CHB Multilevel Inverter for Harmonic Reduction in Fuzzy Logic Controlled Multiphase LIM Drives
Background and Objectives: Despite superior privileges that multiphase motors offer in comparison with their three-phase counterparts, in the field of multiphase linear induction motors (LIMs) few studies have been reported until now. To combine the advantages of both multiphase motors and linear induction motors, this paper concentrates on multiphase LIM drives considering the end effects. Met...
متن کاملNurse rostering using fuzzy logic: A case study
In this paper, we used the fuzzy set theory for modeling flexible constraints and uncertain data in nurse scheduling problems and proposed a fuzzy linear model for nurse rostering problems. The developed model can produce rosters that satisfy hospital objectives, ward requirements and staff preferences by satisfying their requests as much as possible. Fuzzy sets are used for modeling demands of...
متن کاملType-2 fuzzy logic based pitch angle controller for fixed speed wind energy system
In this paper, an interval Type-2 fuzzy logic based pitch angle controller is proposed for fixed speed wind energy system (WES) to maintain the aerodynamic power at its rated value. The pitch angle reference is generated by the proposed controller which can compensate the non-linear characteristics of the pitch angle to the wind speed. The presence of third dimension in the Type-2 fuzzy logic c...
متن کاملVision Logic and Aesthetic Evolution
Visual logic is the most basic logic principle that human beings’ aesthetic taste is based on. Through conducting search on aesthetic taste, we found out the common rule for aesthetic evolution, which is also an evolution process in a sense of meaning. Firstly, visual system apperceives aesthetic objects in a mode similar to computer searches. In the process of apperception, visual system is co...
متن کامل